Remote Testing of Timed Specifications

A Methodology for On-line Monitoring Non-Functional Specifications of Web-Services

Web services are increasingly used in complex settings, and it is therefore desirable to have methodologies and tools to verify at run-time the conformance of the services to their specifications. In this paper we present a methodology for monitoring non-functional specifications of web services (such as latency and reliability): we encode the specifications as timed automata and we present how...

Interesting Properties of the Real-Time Conformance Relation

We are interested in black-box conformance testing of realtime systems. Our framework is based on the model of timed automata with inputs and outputs (TAIO). We use a timed conformance relation called tioco which is the extension of the untimed relation ioco. We show that considering only lazy-input TAIO is enough for describing all possible non-blocking specifications. We compare between tioco...

Timed Testing with TorX

TorX is a specification-based, on-the-fly testing tool that tests for ioco conformance of implementations w.r.t. a formal specification. This paper describes an extension of TorX to not only allow testing for functional correctness, but also for correctness w.r.t. timing properties expressed in the specification. An implementation then passes a timed test if it passes according to ioco, and if ...

Some Issues and Challenges when Testing from Symbolic and Timed Specifications

Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work

We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based on a sound and complete randomized online testing algorithm and is implemented using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the f...